Türkiye ve Çevresinde SRTM Sayısal Yükseklik Modelinin Doğruluğu
نویسندگان
چکیده
منابع مشابه
Efor Kestirim Doğruluğu İçin Tasarım Büyüklüğü ve Problem Büyüklüğü Karşılaştırılması
Özet. Yazılım sektöründe hatalı efor kestirimleri maliyeti önemli ölçüde arttırır ve projelerin başarısız olmasına yol açabilir. Belirgin maddi kayıplara ek olarak, ürünü hem satın alan hem de üreten organizasyonlar, çalışan demotivasyonu ve benzeri organizasyonel sorunlar yüzünden negatif etkilenirler. Yazılım kestirim uzmanları kestirim doğruluğunu arttırmak için birçok yöntem geliştirmiştir....
متن کاملGerçek Zamanlı Gömülü Yazılımlar için Test Otomasyonu: Türkiye Endüstrisinden Bir Yaklaşım ve Deneyim Raporu
Öz. Gömülü sistemler,
متن کاملGömülü Sistem Mühendisliğinde Kullanılan Yazılım Modellemesi ve Model Güdümlü Teknikler Anketi: Türkiye Sonuçları
Özet. Gömülü sistemler gün geçtikçe hayatımızın vazgeçilmez bir parçası haline gelmektedir. Bu sistemlerin performans ve kalite kriterleri diğer yazılım sistemlerinden farklı olduğundan, donanım ve yazılım alt parçalarının birlikte tasarlanmasını, geliştirilmesini ve sınanmasını gerektirir. Bu zorlukla artan karmaşıklığın daha iyi yönetilebilmesi için sıkça kullanılan bir yöntem, yüksek seviyed...
متن کاملSayısal Devrelerin Model Kontrol Tabanlı Testi
Özet Bu tezin amacı yazılım mühendisliği alanında yaygınca kullanılan bir test yöntemi olan model doğrulama tabanlı test yönteminin, devrelerin gecikme hata testinin denetlenmesi işlemine uygulamaktır. Devre gecikme hatası devrelerin istenilen zamanda istenilen işlevin yerine getirilmemesinden kaynaklanmaktadır. Bu metodolojide, öncelikle devre bir zamanlı otomata olarak modellenir ve böylece d...
متن کاملSayısal Almaç Planlayıcı Bileşeninin Biçimsel Doğrulanması
Özet Biçimsel do§rulama bir sistemin do§rulanmas n n tasar m a3amas nda yap lmas na izin veren ve son y llarda kullan m h zla artan bir yöntemdir. Bu bildiride almaç planlay c bile3eni tasar m n n gerçek zaman gereksinimleri dahil edilerek biçimsel do§rulanmas sunulmaktad r. Bu kapsamda say sal almaç planlay c bile3eninin biçimsel modelinin ve gereksinimlerinin UPPAAL model denetim arac ile bel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Geomatik
سال: 2019
ISSN: 2564-6761
DOI: 10.29128/geomatik.551071